Reliable Software Systems Design: Defect Prevention, Detection, and Containment Gerard J. Holzmann Rajeev Joshi Laboratory for Reliable Software NASA/JPL Pasadena, CA 91109, USA

Source URL: rjoshi.org

• Computing
• Software quality
• Engineering
• Reliability engineering
• Software engineering
• Design for X
• Materials science
• Survival analysis
• Fault tolerance
• Redundancy
• Software design
• Modular programming

Proceedings of the 15th USENIX Symposium on Networked Systems Design and Implementation (NSDI ’18) Errata Slip In the paper “Exploiting a Natural Network Effect for Scalable, Fine-grained Clock Synchronization” by

Source URL: www.usenix.org

• Synchronization
• Clock synchronization
• Clocks
• Granularity
• Fairness measure
• Clock signal

INTERNATIONAL JOURNAL OF DISCRETE EVENT CONTROL SYSTEMS (IJDECS), VOL. 1, NO. 1, MARCHOn the Use of Model-Based IECController Design

Source URL: at.informatik.uni-halle.de

1 Cross Coupled Iterative Learning Control of Systems with Dissimilar Dynamics via Coupled Filter Shaping: Design and Implementation Kira L. Barton, Member, IEEE and David J. Hoelzle,” Member,” IEEE and Andrew G. Al

Source URL: dcas.gist.ac.kr

hEI_acs The High End Interaction in Advanced Control Systems sebastian wagner Degree Project in Industrial Design

Source URL: projects.patrickwst.se

MODELISAR An international standard for systems- and embedded software design in vehicles Modelling is not new in automotive systems development Impact highlights

Source URL: itea3.org

International Journal of Gas Turbine, Propulsion and Power Systems December 2016, Volume 8, Number 3 Semi-Inverse Design Optimization of Film Cooling Arrangement and Its Prediction of Coolant Amount of HPT Vanes CHI Zhon

Source URL: www.gtsj.org

IFAC Conference Series on Analysis and Design of Hybrid Systems (ADHS) Charter for mission statement, steering committee rules and organizational guidelines I - Mission Statement 1. The conference series ADHS is sponsore

Source URL: www.diee.unica.it

LOCAL TECHNICAL AMENDMENT FLORIDA BUILDING CODE 5th EDITIONRESIDENTIAL AMEND EXISTING SECTION P2903.1 Water supply system design criteria. The water service and water distribution systems shall be designed and

Source URL: www.pcclb.com

Computer-Assisted Construction of Efficient Concurrent Algorithms Martin Vechev, Eran Yahav, Maged Michael, Hagit Attiya, Greta Yorsh Practical and efficient concurrent systems are notoriously hard to design, implement,

Source URL: www.sri.inf.ethz.ch